Thomas Reps: Z-Library web sitesinde arama yap

Bağış 15 Eylül 2024 – 1 Ekim 2024 Bağış toplama hakkında

Bilgi ve kültür için geçidiniz. Herkesçe erişilebilir.

Bağış 15 Eylül 2024 – 1 Ekim 2024

Z-Library- 17,000,000'den fazla kitap ve 84,837,000 makale barındıran dünyanın en büyük çevrimiçi kitaplıklarından biridir. Edebiyatı herkes için erişilebilir hale getirmeye çalışıyoruz. Bugün (15 Eylül 2024) projeyi desteklemek ve geliştirmek için ek bir bağış koleksiyonu açıyoruz.

Ayrıca SINIRSIZ indirme (bağış gününden sonraki 31 gün içinde), 'ye kadar olan bağış toplama döneminde projeyi destekleyecek TÜM 1 Ekim 2024 kullanıcılar tarafından kullanılabilir.

Bağış toplama hakkındaAyrıntılı

Kitaplar (18)
En popüler
- Şuna göre sırala×
- En popüler
- En iyi eşleşme
- Son eklenenler
- İsme göre (A-Z)
- İsme göre (Z-A)
- Yıla göre
- Dosya boyutu ↓
- Dosya boyutu ↑
Liste
- Liste
- Tablo

1

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)

Yıl:

2007

Dil:

english

Dosya:

PDF, 4.51 MB

0 / 0

english, 2007

2

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Reinhard Wilhelm, Mooly Sagiv, Thomas Reps (auth.), David A. Watt (eds.)

Yıl:

2000

Dil:

english

Dosya:

PDF, 2.40 MB

0 / 0

english, 2000

3

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Gogul Balakrishnan, Thomas Reps (auth.), Byron Cook, Andreas Podelski (eds.)

Yıl:

2007

Dil:

english

Dosya:

PDF, 4.02 MB

0 / 0

english, 2007

4

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Reinhard Wilhelm, Mooly Sagiv, Thomas Reps (auth.), David A. Watt (eds.)

Yıl:

2000

Dil:

english

Dosya:

PDF, 4.73 MB

0 / 0

english, 2000

5

Generating Language-Based Environments

Generating Language-Based Environments

Yıl:

2004

Dil:

english

Dosya:

PDF, 6.95 MB

0 / 0

english, 2004

6

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)

Yıl:

2007

Dil:

english

Dosya:

PDF, 4.62 MB

0 / 0

english, 2007

7

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)

Yıl:

2007

Dil:

english

Dosya:

PDF, 12.34 MB

0 / 5.0

english, 2007

8

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

Yıl:

2002

Dil:

english

Dosya:

PDF, 5.29 MB

0 / 0

english, 2002

9

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

Yıl:

2002

Dil:

english

Dosya:

PDF, 6.30 MB

0 / 0

english, 2002

10

Generating Language-based Environments

Generating Language-based Environments

Yıl:

1984

Dil:

english

Dosya:

DJVU, 964 KB

0 / 0

english, 1984

11

Generating Language-Based Environments

Generating Language-Based Environments

Yıl:

2004

Dil:

english

Dosya:

PDF, 6.95 MB

0 / 5.0

english, 2004

12

The Synthesizer Generator Reference Manual

The Synthesizer Generator Reference Manual

Thomas W. Reps, Tim Teitelbaum

Yıl:

1989

Dil:

english

Dosya:

PDF, 3.09 MB

0 / 0

english, 1989

13

The Synthesizer Generator: A System for Constructing Language-Based Editors

The Synthesizer Generator: A System for Constructing Language-Based Editors

Thomas W. Reps, Tim Teitelbaum

Yıl:

1989

Dil:

english

Dosya:

PDF, 3.08 MB

0 / 0

english, 1989

14

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceed

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceed

Springer-Verlag Berlin Heidelberg

Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.)

Yıl:

2006

Dil:

english

Dosya:

PDF, 5.35 MB

0 / 0

english, 2006

15

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)

Yıl:

2007

Dil:

english

Dosya:

PDF, 4.78 MB

0 / 0

english, 2007

16

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps, Susan Horwitz (auth.), H. Ganzinger (eds.)

Yıl:

1988

Dil:

english

Dosya:

DJVU, 4.14 MB

0 / 0

english, 1988

17

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps, Susan Horwitz (auth.), H. Ganzinger (eds.)

Yıl:

1988

Dil:

english

Dosya:

PDF, 11.17 MB

0 / 0

english, 1988

18

Analysis Techniques for Information Security

Analysis Techniques for Information Security

Morgan and Claypool Publishers

Somesh Jha, Anupam Datta, Ninghui Li, David Melski, Thomas Reps

Yıl:

2010

Dil:

english

Dosya:

PDF, 1.30 MB

0 / 0

english, 2010